#ifndef __DEVICE_H__
#define __DEVICE_H__
#include "common.h"

#define VGA_W 400
#define VGA_H 300
extern uint32_t frame_buff[VGA_H*VGA_W];
void init_device();
void update_screen();
void device_update();
uint32_t key_dequeue();

#endif